1
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Năm:
2008
Ngôn ngữ:
english
File:
PDF, 4.15 MB
0 / 0
english, 2008
2
Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Năm:
2008
Ngôn ngữ:
english
File:
PDF, 2.18 MB
0 / 0
english, 2008
6
Temporal Logic and State Systems

Temporal Logic and State Systems

Năm:
2008
Ngôn ngữ:
english
File:
PDF, 4.32 MB
5.0 / 0
english, 2008